Graded modal type theory, formalized
- Författare
- Oskar Eriksson
- (Oskar Eriksson., Licentiatavhandling (sammanfattning) Göteborg : Chalmers tekniska högskola, 2025)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Computer Science and Engineering, Division of Computing Science, University of Gothenburg, Chalmers University of Technology | 2025 | Sverige, Göteborg | ix, 18 sidor illustrationer |